Evaluating Software Verification Systems: Benchmarks and Competitions

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)

This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...

Robot Competitions Ideal Benchmarks for Robotics Research

In this paper, I argue for the use of robotic competitions as benchmarks for robotics research. By providing a common task to be solved at a specific place and a specific time, competitions avoid some of the difficulties arising when evaluating robotics research in the own lab. Competitions also bring together multiple research groups working on the same problem. This fosters the exchange of id...

A Verification Toolkit for Numerical Transition Systems

1 Swiss Federal Institute of Technology Lausanne (EPFL) 2 Verimag, Grenoble, France 3 Uppsala University, Sweden Abstract. This paper reports on an effort to create benchmarks and a toolkit for rigorous verification problems, simplifying tool integration and eliminating ambiguities of complex programming language constructs. We focus on Integer Numerical Transition Systems (INTS), which can be ...

Proposing an Efficient Software-Based Method for Enhancing the Reliability of Critical Application Robot

Robots play such remarkable roles in humans’ modern lives that performing many tasks without them isimpossible. Using robotic systems is gradually increasing the tasks allocated to them and they are becomingmore complex and critical. Software reliability is one of the most significant requirements of robots. Forenhancing reliability, systems should be inherently designed to be tolerable of soft...